mk{-}es0($E$;${\it eq}$;$T$;$V$;$M$;${\it loc}$;$k$;$v$;$w$;$a$;${\it snds}$;${\it sndr}$;$i$;$f$;${\it prd}$;${\it cl}$;$p$;$q$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$E$$,\,$${\it eq}$$,\,$$T$$,\,$$V$$,\,$$M$$,\,$$\cdot$$,\,$${\it loc}$$,\,$$k$$,\,$$v$$,\,$$w$$,\,$$a$$,\,$${\it snds}$$,\,$${\it sndr}$$,\,$$i$$,\,$$f$$,\,$${\it prd}$$,\,$${\it cl}$$,\,$$p$$,\,$$q$$,\,$$\cdot$$\rangle$